Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 2.Ident. | Authors (with country if any) | Title |
---|---|---|
004B09 | Yves Bontemps [Belgique] ; Germain Saval [Belgique] ; Pierre-Yves Schobbens [Belgique] ; Patrick Heymans [Belgique] | Synthèse de diagrammes d’états par classe à partir de diagrammes de séquence |
007073 | Pascal Urso [France] ; Pierre-Yves Schobbens [Belgique] | Automated Verification of Features with Situation Calculus |
This area was generated with Dilib version V0.6.33. |